totally ordered set

全有序集